kw.\*:("Teoría de tipos")
Results 1 to 25 of 56
Selection :
Improving Type Error Messages for Generic JavaEL BOUSTANI, Nabil; HAGE, Jurriaan.ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation. 2009, pp 131-140, isbn 978-1-60558-327-3, 1Vol, 10 p.Conference Paper
Homogeneous Family SharingXIN QI; MYERS, Andrew C.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 520-538, issn 1523-2867, 19 p.Conference Paper
Integrating Typed and Untyped Code in a Scripting LanguageWRIGSTAD, Tobias; ZAPPA NARDELLI, Francesco; LEBRESNE, Sylvain et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 377-388, issn 1523-2867, 12 p.Conference Paper
The Gentle Art of LevitationCHAPMAN, James; DAGAND, Pierre-Evariste; MCBRIDE, Conor et al.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 3-14, issn 1523-2867, 12 p.Conference Paper
Self Type ConstructorsSAITO, Chieri; IGARASHI, Atsushi.ACM SIGPLAN notices. 2009, Vol 44, Num 10, pp 263-282, issn 1523-2867, 20 p.Conference Paper
A Generic Deriving Mechanism for HaskellMAGALHAES, José Pedro; DIJKSTRA, Atze; JEURING, Johan et al.ACM SIGPLAN notices. 2010, Vol 45, Num 11, pp 37-48, issn 1523-2867, 12 p.Conference Paper
METAFJIG A Meta-Circular Composition Language for Java-like ClassesSERVETTO, Marco; ZUCCA, Elena.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 464-483, issn 1523-2867, 20 p.Conference Paper
Polyvariant Flow Analysis with Higher-ranked Polymorphic Types and Higher-order Effect OperatorsHOLDERMANS, Stefan; HAGE, Jurriaan.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 63-74, issn 1523-2867, 12 p.Conference Paper
Generative Type Abstraction and Type-level ComputationWEIRICH, Stephanie; VYTINIOTIS, Dimitrios; ZDANCEWIC, Steve et al.ACM SIGPLAN notices. 2011, Vol 46, Num 1, pp 227-239, issn 1523-2867, 13 p.Conference Paper
Language and Program Design for Functional DependenciesJONES, Mark P; DIATCHKI, Iavor.ACM SIGPLAN notices. 2009, Vol 44, Num 2, pp 87-98, issn 1523-2867, 12 p.Conference Paper
Sharing Classes Between FamiliesXIN QI; MYERS, Andrew C.ACM SIGPLAN notices. 2009, Vol 44, Num 6, pp 281-292, issn 1523-2867, 12 p.Conference Paper
Static Consistency Checking for Verilog Wire Interconnects: Using Dependent Types to Check the Sanity of Verilog DescriptionsSALAMA, Cherif; MALECHA, Gregory; GRUNDY, Jim et al.ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation. 2009, pp 121-130, isbn 978-1-60558-327-3, 1Vol, 10 p.Conference Paper
Mixing Type Checking and Symbolic ExecutionPHANG, Khoo Yit; EVAN CHANG, Bor-Yuh; FOSTER, Jeffrey S et al.ACM SIGPLAN notices. 2010, Vol 45, Num 6, pp 436-447, issn 1523-2867, 12 p.Conference Paper
Paralocks: Role-Based Information Flow Control and BeyondBROBERG, Niklas; SANDS, David.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 431-444, issn 1523-2867, 14 p.Conference Paper
Parametricity and Dependent TypesBERNARDY, Jean-Philippe; JANSSON, Patrik; PATERSON, Ross et al.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 345-356, issn 1523-2867, 12 p.Conference Paper
Regular, Shape-polymorphic, Parallel Arrays in HaskellKELLER, Gabriele; CHAKRAVARTY, Manuel M. T; LESHCHINSKIY, Roman et al.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 261-272, issn 1523-2867, 12 p.Conference Paper
Fast Type Reconstruction for Dynamically Typed Programming LanguagesPLUQUET, Frédéric; MAROT, Antoine; WUYTS, Roel et al.ACM SIGPLAN notices. 2009, Vol 44, Num 12, pp 69-78, issn 1523-2867, 10 p.Conference Paper
Making Monads First-class with Template HaskellKARIOTIS, Pericles S; PROCTER, Adam M; HARRISON, William L et al.ACM SIGPLAN notices. 2009, Vol 44, Num 2, pp 99-110, issn 1523-2867, 12 p.Conference Paper
Non-Parametric ParametricityNEIS, Georg; DREYER, Derek; ROSSBERG, Andreas et al.ACM SIGPLAN notices. 2009, Vol 44, Num 9, pp 135-148, issn 1523-2867, 14 p.Conference Paper
Adaptable Analysis of Dependable System Architectures Through MonitoringDIAS, Marcio S; RICHARDSON, Debra J.Architecting dependable systems III. Lecture notes in computer science. 2005, Vol 3549, pp 122-147, issn 0302-9743, isbn 3-540-28968-2, 1Vol, 26 p.Book Chapter
Evolutionary design of Sugeno-type fuzzy systems for modelling humanoid robotsKIM, Dong W; DE SILVA, Clarence W; PARK, Gwi-Tae et al.International journal of systems science. 2010, Vol 41, Num 7, pp 875-888, issn 0020-7721, 14 p.Article
A Time-Aware Type System For Data-Race Protection and Guaranteed InitializationMATSAKIS, Nicholas D; GROSS, Thomas R.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 634-651, issn 1523-2867, 18 p.Conference Paper
Contracts Made ManifestGREENBERG, Michael; PIERCE, Benjamin C; WEIRICH, Stephanie et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 353-364, issn 1523-2867, 12 p.Conference Paper
A Library for Light-Weight Information-Flow Security in HaskellRUSSO, Alejandro; CLAESSEN, Koen; HUGHES, John et al.ACM SIGPLAN notices. 2009, Vol 44, Num 2, pp 13-24, issn 1523-2867, 12 p.Conference Paper
Free Theorems Involving Type Constructor Classes Functional PearlVOIGTLÄNDER, Janis.ACM SIGPLAN notices. 2009, Vol 44, Num 9, pp 173-184, issn 1523-2867, 12 p.Conference Paper